Новая философская энциклопедия - серебрянников олег федорович
Связанные словари
Серебрянников олег федорович
Научные интересы были сосредоточены гл. о. на разработке дедуктивного метода в науке и анализе доказательств средствами современной математической логики. Большая часть его работ посвящена теории доказательств, применению методов Гильберта особенно Гением в неклассической логике. Он один из первых анализировал эвристические принципы, заложенные в логических исчислениях различных типов, а также критерии оценки качества логических выводов в формальных стистемах. Его книга «Эвристические принципы и логические исчисления» получила международное признание (перевод на немецкий 1974, Берлин). Серебрянниковым предложены нестандартные способы построения исчисления секвенций и систем натурального вывода, которые особенно эффективны в модальной, релевантной и паранепротиворечивой логиках, а также новый варлант доказательства усиленной теоремы о нормальной форме логических выводов в кванторных системах с модальностями. Его идеи об элементарном доказательстве непротиворечивости второпорядковой арифметики открывают новую перспективу для обсуждения фундаментальных проблем строгого обоснования непротиворечивости богатых формальных теорией.
Соч.: Эвристические принципы и логически? исчисления. М., 1970; Нормальные формы логических доказательств.— В кн.: Логический вывод. М., 1979; Элементарное доказательство теоремы об устранении сечения во второпорядковой логике.— В кн.: Исследования по неклассическим логикам. М., 1989; An Extention of Gentzens Analysis of Logical Deduction to Second-Order Logic,— В кн.: Philosophical Logic and Logical Philosophy, P. I. Bystrov and V N. Sadovsky (eds.). Kluwer Academic Publishers, 1996; П. И. Быстрое
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2287 | |
2 | 1815 | |
3 | 1768 | |
4 | 1759 | |
5 | 1673 | |
6 | 1611 | |
7 | 1524 | |
8 | 1493 | |
9 | 1491 | |
10 | 1471 | |
11 | 1445 | |
12 | 1444 | |
13 | 1423 | |
14 | 1418 | |
15 | 1318 | |
16 | 1291 | |
17 | 1276 | |
18 | 1271 | |
19 | 1264 | |
20 | 1245 |